Incorrect abstraction